Skip to content

Conversation

@finestructure
Copy link
Member

@cla-bot cla-bot bot added the cla-signed label Apr 27, 2025
@finestructure finestructure enabled auto-merge April 27, 2025 08:09
auto-merge was automatically disabled April 27, 2025 08:15

Pull Request is not mergeable

@finestructure
Copy link
Member Author

Github is bugged, it doesn't progress past checking ability to merge. Trying to merge locally and push.

@finestructure finestructure merged commit 12bed5e into main Apr 27, 2025
3 checks passed
@finestructure finestructure deleted the issue-3783 branch April 27, 2025 08:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

PackageList nightly still erroneously removing packages

3 participants